退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:检查nfa等价与bisimulations一致
Damien Pous;
机译:使用双模拟检查NFA等价性直到同余
机译:混合系统状态空间同构问题引起的在某些半环同余下的等价性的多项式时间算法
机译:从基于路径扩展的等效性检查器得出双仿真关系
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:一种新的基于等效性的度量标准用于进行预测性检查以验证混合效应模型
机译:通过双仿真检查NFA等价性
机译:有限状态行为的分支互模拟同余的完全公理化
机译:等效检查方法,等效检查程序及等效检查装置
机译:等效检查方法,等效检查程序和等效检查装置
机译:等效检查方法,等效检查程序和等效检查程序的生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。